1 2 - PDFSEARCH.IO - Document Search Engine

1 2
Results: 258872

#	Item
141	A Tale Of Two Solvers: Eager and Lazy Approaches to Bit-vectors? Liana Hadarean1 , Kshitij Bansal1 , Dejan Jovanovi´c3 , Clark Barrett1 , and Cesare Tinelli2 1 2 Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 13:33:30 Theoretical computer science Computational complexity theory Mathematics Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean algebra Satisfiability modulo theories Boolean satisfiability problem Conflict-driven clause learning Solver
142	Grivaux, Julien Topological properties of Hilbert schemes of almost-complex fourfolds. I. (English) Zbl Manuscr. Math. 136, No. 1-2, Given a smooth irreducible complex projective surface X, Add to Reading List Source URL: jgrivaux.perso.math.cnrs.fr Language: English - Date: 2018-03-18 08:56:16 Abstract algebra Algebra Mathematics Algebraic geometry Homological algebra Differential geometry Cohomology theories Projective variety Hilbert scheme Perverse sheaf Manifold tale cohomology
143	Topline questionnaire January 2018 Core Trends Survey Abt Associates for Pew Research Center Sample: n=2,002 adults age 18 or older nationwide, including 1,502 cell phone interviews Interviewing dates: Jan. 3-10, 2018 Ma Add to Reading List Source URL: www.pewinternet.org Language: English - Date: 2018-09-13 15:12:46 Software Computing Digital media Social networking services Social media Photo sharing Snapchat Instagram Facebook Twitter Pinterest
144	Towards Solving Differential Equations through Neural Programming Forough Arabshahi 1 Sameer Singh 1 Animashree Anandkumar 2 1. Introduction Differential equations are used to model numerous phenomena such as heat, elec Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Mathematics Differential equations Calculus Abstraction Partial differential equation Ordinary differential equation Equation Artificial neural network Linear differential equation Numerical methods for ordinary differential equations
145	PSI: Exact Symbolic Inference for Probabilistic Programs Timon Gehr1 , Sasa Misailovic1,2 , and Martin Vechev1 1 2 Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:56:02 Mathematical analysis Probability theory Statistical theory Graphical models Normal distribution Infinitely divisible probability distributions Bayesian statistics Bayesian network Substitution Variational Bayesian methods Exponential family Dirac delta function
146	Quantitative Multi-Objective Verification for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-01-11 18:39:29 Temporal logic Theoretical computer science Mathematical analysis Linear temporal logic Mathematics Computation tree logic Omega language Distribution
147	Assume-Guarantee Verification for Probabilistic Systems Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-04-16 06:37:28 Theoretical computer science Temporal logic Logic in computer science Linear temporal logic Finite automata PRISM model checker Randomized algorithm Computation tree logic PP Model checking Formal verification Probabilistic automaton
148	Neural Machine Translation for Query Construction and Composition Tommaso Soru 1 Edgard Marx 1 Andr´e Valdestilhas 1 Diego Esteves 2 Diego Moussallem 1 Gustavo Publio 1 Abstract Research on question answering with know Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Computing Computational linguistics Linguistics Information science Artificial neural network SPARQL Semantic parsing Word-sense disambiguation Semantic Web Natural language processing Query language Question answering
149	Automatically Calculating Quantitative Integrity Measures for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Information flow Mutual information Conditional mutual information Conditional entropy
150	Vectorizing Higher-Order Masking Benjamin Gr´egoire1 and Kostas Papagiannopoulos2 and Peter Schwabe2 and Ko Stoffelen2 1 2 Add to Reading List Source URL: ko.stoffelen.nl Language: English - Date: 2018-02-09 10:00:32 Cryptography Computing Computer architecture Advanced Encryption Standard AES implementations ARM architecture Block cipher Bit array 64-bit computing Processor register